Some of My Favourite Results in Classic Process Algebra
نویسنده
چکیده
As frequent readers of this part of the Bulletin may have already noticed, from this volume I have taken over the job of editing the concurrency column. On behalf of the whole concurrency community, I take this opportunity for thanking my predecessor, Mogens Nielsen, for his superb editorial work over the years. In order to follow on Mogens’ footsteps I need the assistance of the concurrency community, and I encourage anybody interested in contributing an article to the concurrency column to contact me at the above email address.
منابع مشابه
Phil Jackson: Zen and the Counterculture Coach
As a coach educator I sometimes set my students the task of choosing their favourite coach, and critically considering the reasons for their selections. Phil Jackson is without doubt my own favourite sports coach. In this article I hope to encapsulate the essence of his coaching philosophy and practices, and some of the personal qualities that I believe set him apart from other coaches. But fir...
متن کاملThe Effect of Different Concentrations of Gibberellic Acid on Quantitative and Qualitative Characteristics of Three Cultivars Lacourtine, Yokohama and Red Favourite Tulip (Tulipa gesneriana L.)
Tulip is one of the most important flowers to precocity. Treatment of tulip bulbs with gibberellic acid reduces the forcing period in the greenhouse resulting energy saving and reduces the tulip’s physiological disorders. This study carried out about three tulip cultivars includes ‘Lacourtine’, ‘Yokohama’ and ‘Red Favourite’. The results showed that gibberellic acid reduced significantly stem l...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملMy favourite flowering image.
I selected my favourite image from a paper by Professor Friedrich Laibach, the founder of Arabidopsis research. His paper from 1951 is the first paper dealing with natural variation for flowering time in this species, a topic many scientists including myself, have followed up and has resulted in large steps forward in our understanding of flowering time regulation. How this topic came to be of ...
متن کاملSome properties of nilpotent Lie algebras
In this article, using the definitions of central series and nilpotency in the Lie algebras, we give some results similar to the works of Hulse and Lennox in 1976 and Hekster in 1986. Finally we will prove that every non trivial ideal of a nilpotent Lie algebra nontrivially intersects with the centre of Lie algebra, which is similar to Philip Hall's result in the group theory.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of the EATCS
دوره 81 شماره
صفحات -
تاریخ انتشار 2003